More from this Author

Rigorous State-Based Methods

by Alexander Raschke (Editor), Dominique Méry (Editor), Frank Houdek (Editor)

Abstract State Machines, Alloy, B, TLA, VDM, and Z

by Michael Butler (Editor), Alexander Raschke (Editor), Thai Son Hoang (Editor), Klaus Reichl (Editor)